# CONFIG_BCM2835_THERMAL is not set
