[PATCH 6.1 010/194] x86: Introduce ia32_enabled()