efi_loader: add missing EFI_RESET_PLATFORM_SPECIFIC