[coreboot] Re: coreboot has switched the default git branch from "master" to "main"