[coreboot] Re: Support for enterprise class server hardware?