ARM: socfpga: move SoC sources to mach-socfpga