CONFIG_HAVE_AT91_GENERATED_CLK=y
CONFIG_SOC_SAMA5D2=y
# CONFIG_SOC_SAMA5D4 is not set