CONFIG_SENSORS_ADC128D818=y
CONFIG_SENSORS_IIO_HWMON=y
CONFIG_SENSORS_TMP401=y
CONFIG_SENSORS_TMP421=y
CONFIG_SENSORS_MAX31785=y
CONFIG_SENSORS_UCD9000=y
CONFIG_SENSORS_IR35221=y
CONFIG_SENSORS_PXE1610=y
CONFIG_SENSORS_EMC1403=y

CONFIG_IIO=y

CONFIG_PSTORE=y
CONFIG_PSTORE_PMSG=y
CONFIG_PSTORE_RAM=y

CONFIG_MAGIC_SYSRQ=y

CONFIG_IPMI_KCS_BMC=y
CONFIG_IPMI_KCS_BMC_CDEV_RAW=y
CONFIG_ASPEED_KCS_IPMI_BMC=y

CONFIG_SERIAL_8250_NR_UARTS=10
CONFIG_SERIAL_8250_RUNTIME_UARTS=10