[PATCH 5.4 018/165] x86/efi: Update e820 with reserved EFI boot services data to fix kexec breakage