Re: [coreboot] [patch 4/4] libpayload: Fix a small but aggressive bug in printf()