CONFIG_SENSORS_ACBEL_FSG032=y
CONFIG_SENSORS_IIO_HWMON=y
CONFIG_SENSORS_TMP401=y
CONFIG_SENSORS_TMP421=y
CONFIG_SENSORS_MAX31785=y
CONFIG_SENSORS_UCD9000=y
CONFIG_RTC_DRV_RV8803=y
CONFIG_IIO=y
CONFIG_SI7020=y
CONFIG_HDC100X=y
CONFIG_BMP280=y
CONFIG_PSTORE=y
CONFIG_PSTORE_PMSG=y
CONFIG_PSTORE_RAM=y
CONFIG_MAGIC_SYSRQ=y
CONFIG_USB_UHCI_HCD=y
CONFIG_USB_SERIAL=y
CONFIG_USB_SERIAL_PL2303=y
CONFIG_IPMI_KCS_BMC_CDEV_RAW=y
CONFIG_TUN=y

# P10 uses the AST2600 driver
CONFIG_FSI=y
CONFIG_FSI_MASTER_HUB=y
CONFIG_FSI_MASTER_ASPEED=y
CONFIG_FSI_SCOM=y
CONFIG_FSI_SBEFIFO=y
CONFIG_FSI_OCC=y
CONFIG_SPI_FSI=y
CONFIG_I2C_FSI=y