# CONFIG_CLK_BCM2835 is not set