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