x86: sysreset: Separate out the EFI code