[coreboot] Re: How to debug open-source AGESA with serial console?