Re: [coreboot] [PATCH] reentrant and .bss-less vsprintf