[PATCH] efi: Make efi_rts_work accessible to efi page fault handler