# CONFIG_SENSORS_HMC5843 is not set