Make machine_desc optional for Linaro Linux

As on arm64, we should be able to boot without a platform definition There are currently 20 members in the machine_desc structure, most of which are already optional and do not need to get set by a platform. Based on kernel changes that went into linux-3.9 or are scheduled for 3.10, we can make all the other ones o...

Research impact on kernel size for multi-platform configs for Linaro Linux

When building a multi-platform kernel, the kernel runtime image will end up with residual text and data for platforms on which we are running on. This is primarily platform-specific initialization code and static data tables and it will also have an affect on the size of the kernel binary image. As part of this blue...