kernel/include/config/ARM_SCMI_POWER_CONTROL