ARM: at91/Kconfig: select board files automatically