[Arm-dev] Re: RPM kernels for PI2