Где эти отсутствующие параметры в menuconfig?

Я следую «Как назначить устройства с VT-d в KVM», и я пытаюсь изменить конфигурацию Kernel, как она предлагает. Но после перехода к /usr/src/linux-headers-3.x.x-x и запуска make menuconfig я не могу найти следующие параметры:

"Bus options (PCI etc.)" -> "**Support for DMA Remapping Devices**" 
"Bus options (PCI etc.)" -> "**Enable DMA Remapping Devices**"
"Bus options (PCI etc.)" -> "**PCI Stub driver**"

Они просто отсутствуют в настройках меню. Где я могу их найти?

Где найти CONFIG_X86 || CONFIG_IA64_GENERIC?