[coreboot] Re: coreboot/LinuxBoot on Supermicro server boards