ARM: socfpga: move board select into mach-socfpga/Kconfig