New ARM Platforms 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…