[coreboot] Re: coreboot on new Supermicro boards with AMD Epyc CPUs?