| 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 |