/util/coreboot-configurator/contrib/rpm/