Linux 3.7 Kernel to Support Multiple ARM Platforms | Hacker News Reader