Да, все микросхемы Nehalem/Westmere поддерживают EPT, таким образом, это - 55xx/56xx/75xx плюс, я уверен 35xx/36xx ряд также (извините, но я не эксперт в микросхемах рабочей станции).
Я добавил
hw.bge.allow_asf="0"
в свой
/boot/loader.conf
, чтобы отключить функцию asf на контроллере Broadcom Ethernet. Похоже, это сработало. 3 дня, сообщений и зависаний пока нет.