[coreboot] [PATCH] SeaBIOS - vgahooks improvements