Re: [coreboot] [PATCH] SeaBIOS - vgahooks improvements