[PATCH 09/83] x86/efi: Update e820 with reserved EFI boot services data to fix kexec breakage