# CONFIG_MFD_TC6393XB is not set