Setting CONFIG_SENSORS_HALL. No idea what it does.