INTEL_PAGE_TABLE_CONTROL
+ INTEL_PAGE_TABLE_CONTROL) & ~PAGE_TABLE_ENABLED;
write32(sInfo.registers + INTEL_PAGE_TABLE_CONTROL,
read32(sInfo.registers + INTEL_PAGE_TABLE_CONTROL);