# CONFIG_MFD_AS3711 is not set