zynq: kernel: refresh config

Signed-off-by: Luis Araneda <luaraneda@gmail.com>

diff --git a/target/linux/zynq/config-4.14 b/target/linux/zynq/config-4.14
index 72b3a2d6c76c851df5aa63795e5a37e132cd44f5..a28e91f84249528c3ca5f7651385295203ec06af 100644 (file)
--- a/target/linux/zynq/config-4.14
+++ b/target/linux/zynq/config-4.14
@@ -40,7 +40,6 @@ CONFIG_ARM_CCI=y
 CONFIG_ARM_CCI400_COMMON=y
 CONFIG_ARM_CCI400_PMU=y
 CONFIG_ARM_CCI_PMU=y
-# CONFIG_ARM_CHARLCD is not set
 CONFIG_ARM_CPU_SUSPEND=y
 CONFIG_ARM_ERRATA_643719=y
 CONFIG_ARM_ERRATA_720789=y
@@ -159,6 +158,7 @@ CONFIG_CPU_IDLE_GOV_MENU=y
 CONFIG_CPU_PABRT_V7=y
 CONFIG_CPU_PM=y
 CONFIG_CPU_RMAP=y
+CONFIG_CPU_SPECTRE=y
 CONFIG_CPU_THERMAL=y
 CONFIG_CPU_THUMB_CAPABLE=y
 CONFIG_CPU_TLB_V7=y
@@ -256,6 +256,7 @@ CONFIG_GENERIC_EARLY_IOREMAP=y
 CONFIG_GENERIC_IDLE_POLL_SETUP=y
 CONFIG_GENERIC_IO=y
 CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
+CONFIG_GENERIC_IRQ_MIGRATION=y
 CONFIG_GENERIC_IRQ_SHOW=y
 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
 CONFIG_GENERIC_MSI_IRQ=y
@@ -572,22 +573,9 @@ CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 CONFIG_SCHED_MC=y
 CONFIG_SCHED_SMT=y
 CONFIG_SCSI=y
-# CONFIG_SENSORS_ADM1275 is not set
-# CONFIG_SENSORS_IBM_CFFPS is not set
-# CONFIG_SENSORS_IR35221 is not set
-# CONFIG_SENSORS_LM25066 is not set
-# CONFIG_SENSORS_LTC2978 is not set
-# CONFIG_SENSORS_LTC3815 is not set
-# CONFIG_SENSORS_MAX16064 is not set
-# CONFIG_SENSORS_MAX20751 is not set
-# CONFIG_SENSORS_MAX34440 is not set
-# CONFIG_SENSORS_MAX8688 is not set
 CONFIG_SENSORS_PMBUS=y
-# CONFIG_SENSORS_TPS40422 is not set
-# CONFIG_SENSORS_TPS53679 is not set
 CONFIG_SENSORS_UCD9000=y
 CONFIG_SENSORS_UCD9200=y
-# CONFIG_SENSORS_ZL6100 is not set
 # CONFIG_SERIAL_8250 is not set
 # CONFIG_SERIAL_AMBA_PL011 is not set
 CONFIG_SERIAL_XILINX_PS_UART=y