[coreboot] Re: POST codes and PCI Post card