# CONFIG_SENSORS_IBMPEX is not set
