[fedora-arm] F13 RPM armv5tel on armv7l