[SeaBIOS] [PATCH] Add CONFIG_DEBUG_COREBOOT config option