x86/mm: Convert mmu context ia32_compat into a proper flags field