[coreboot] Re: supported hardware