SPDX: Convert all of our single license tags to Linux Kernel style

[u-boot] / include / configs / efi-x86.h

diff --git a/include/configs/efi-x86.h b/include/configs/efi-x86.h
index 1c955d9e37a69f2281465d8f6476a6a6734535c9..33418cfbec4c074cdc3bfd1f774126d5af0f73da 100644 (file)
--- a/include/configs/efi-x86.h
+++ b/include/configs/efi-x86.h
@@ -1,7 +1,6 @@
+/* SPDX-License-Identifier: GPL-2.0+ */
 /*
  * Copyright (c) 2015 Google, Inc
- *
- * SPDX-License-Identifier:    GPL-2.0+
  */
 
 #ifndef __CONFIG_H
@@ -9,22 +8,8 @@
 
 #include <configs/x86-common.h>
 
-#undef CONFIG_CMD_SF_TEST
-
 #undef CONFIG_TPM_TIS_BASE_ADDRESS
 
-#undef CONFIG_CMD_IMLS
-
-#undef CONFIG_SYS_NS16550
-#undef CONFIG_X86_SERIAL
-#undef CONFIG_ENV_IS_IN_SPI_FLASH
-#define CONFIG_ENV_IS_NOWHERE
-#undef CONFIG_VIDEO
-#undef CONFIG_CFB_CONSOLE
-#undef CONFIG_SCSI_AHCI
-#undef CONFIG_CMD_SCSI
-#undef CONFIG_INTEL_ICH6_GPIO
-
 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,vga,serial\0" \
                                        "stdout=vga,serial\0" \
                                        "stderr=vga,serial\0"