ARM: at91: Add the SoC options to Kconfig