[SeaBIOS] [PATCH] vgasrc: Increase debug level