# CONFIG_BCM2835_POWER is not set