Re: [Arm-dev] RPM kernels for PI2