# CONFIG_IA32_EMULATION is not set
