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