e71b6f0b68de ("x86/efi: Explicitly include realmode.h to handle RM trampoline quirk")
3425d934fc03 ("efi/x86: Handle page faults occurring while running EFI runtime services")
9dbbedaa6171 ("efi: Make efi_rts_work accessible to efi page fault handler")