# CONFIG_SENSORS_VEXPRESS is not set
