2 files changed, 27 insertions, 1 deletions

diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c
index 725624b6c0c0..8fd3cedd9acc 100644
--- a/arch/x86/kernel/reboot.c
+++ b/arch/x86/kernel/reboot.c
@@ -81,6 +81,19 @@ static int __init set_bios_reboot(const struct dmi_system_id *d)
         return 0;
 }
 
+/*
+ * Some machines don't handle the default ACPI reboot method and
+ * require the EFI reboot method:
+ */
+static int __init set_efi_reboot(const struct dmi_system_id *d)
+{
+        if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) {
+                reboot_type = BOOT_EFI;
+                pr_info("%s series board detected. Selecting EFI-method for reboot.\n", d->ident);
+        }
+        return 0;
+}
+
 void __noreturn machine_real_restart(unsigned int type)
 {
         local_irq_disable();
@@ -166,6 +179,14 @@ static const struct dmi_system_id reboot_dmi_table[] __initconst = {
                         DMI_MATCH(DMI_PRODUCT_NAME, "AOA110"),
                 },
         },
+        {       /* Handle reboot issue on Acer TravelMate X514-51T */
+                .callback = set_efi_reboot,
+                .ident = "Acer TravelMate X514-51T",
+                .matches = {
+                        DMI_MATCH(DMI_SYS_VENDOR, "Acer"),
+                        DMI_MATCH(DMI_PRODUCT_NAME, "TravelMate X514-51T"),
+                },
+        },
 
         /* Apple */
         {       /* Handle problems with rebooting on Apple MacBook5 */
diff --git a/include/linux/efi.h b/include/linux/efi.h
index 54357a258b35..6ebc2098cfe1 100644
--- a/include/linux/efi.h
+++ b/include/linux/efi.h
@@ -1611,7 +1611,12 @@ efi_status_t efi_setup_gop(efi_system_table_t *sys_table_arg,
                            struct screen_info *si, efi_guid_t *proto,
                            unsigned long size);
 
-bool efi_runtime_disabled(void);
+#ifdef CONFIG_EFI
+extern bool efi_runtime_disabled(void);
+#else
+static inline bool efi_runtime_disabled(void) { return true; }
+#endif
+
 extern void efi_call_virt_check_flags(unsigned long flags, const char *call);
 extern unsigned long efi_call_virt_save_flags(void);