I know from Fedoras point of view we want to build only a single arm kernel. right now we are building kirkwood, imx, omap, tegra, highbank and vexpress. im ok with leaving kirkwood as its own but in order to add exynos I only want to do it in a combined image, and as quickly as possible merge the kernel variants into the base kernel. then have us adding support for other boards only in the base kernel. I like the idea of having DeviceTree only support to make things smaller and simpler if it has DeviceTree support. however i think that the vendors should be on the hook to ship the dtb for a board.