# CONFIG_REGULATOR_88PM800 is not set