One Kernel Can Now Handle Multiple ARM Platforms

The Linux 3.7 kernel gets even more exciting with the merging of ARM multi-platform support. This work allows for a single Linux kernel build to contain support for multiple ARM SoCs/platforms…