[coreboot] The coreboot master branch has been deleted