Re: [SeaBIOS] [PATCH] Add CONFIG_DEBUG_COREBOOT config option

[Kevin O'Connor]

On Tue, Jun 25, 2013 at 03:45:30PM +0200, Gerd Hoffmann wrote:
> Signed-off-by: Gerd Hoffmann

Thanks.  I committed this patch and its predecessor.

-Kevin