[Arm-dev] Kernel (Was: Gigabyte MP30-AR0)