# CONFIG_MFD_HI6421_PMIC is not set