tree 5af41772e135cb864998a26b7cd4c4264aff6239
parent 6cb0c8ed6905a264c892d8dcc4c93e6c0222d0c0
author Ricardo Neri <ricardo.neri-calderon@linux.intel.com> 1408474561 -0700
committer Matt Fleming <matt.fleming@intel.com> 1408484136 +0100

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>