# CONFIG_MFD_AS3722 is not set