kernel/include/config/SENSORS_ARM_SCMI