Re: [coreboot] [PATCH] libpayload: fix VGA and serial IO breakage