RPM for boot.fedoraproject.org