x86: Introduce ia32_enabled()