x86/efi: Fixup faults from UEFI firmware

Firmware may try to access BOOT_SERVICES_* memory regions even
after those regions were surrendered the kernel for its own
consumption. Fix that up.

We are sure that we will not have false positives as those
memory regions are reserved and the kernel cannot use them.

Signed-off-by: Ricardo Neri <ricardo.neri-calderon@linux.intel.com>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>
1 file changed