Re: [SeaBIOS] [coreboot] [PATCH] SeaBIOS VGA hooks