[coreboot] Re: Status of Supermicro X11 series?