# CONFIG_MFD_TC6387XB is not set