[Arm-dev] Broken kernel RPM