[coreboot] Re: regarding virtualization support in coreboot