@@ -22,6 +22,11 @@
#include <linux/platform_device.h>
#include <linux/rfkill.h>
#include <linux/acpi.h>
+#include <linux/seq_file.h>
+#include <linux/debugfs.h>
+#include <linux/ctype.h>
+#include <linux/efi.h>
+#include <acpi/video.h>
/*
* This driver is needed because a number of Samsung laptops do not hook
@@ -833,6 +838,9 @@ static int __init samsung_init(void)
handle_backlight = false;
#endif
+ if (efi_enabled(EFI_BOOT))
+ return -ENODEV;
+
if (!force && !dmi_check_system(samsung_dmi_table))
return -ENODEV;