New ARM Platform Support For The Linux 3.20 Kernel

With the next kernel -- regardless of whether it be known as Linux 3.20 or Linux 4.0 -- it will contain support for new ARM platforms...