# CONFIG_MFD_WM831X_SPI is not set