[Arm-dev] RPM kernels for PI2