[SeaBIOS] [PATCH 1/3] vgahooks: Allow usage of VGA hooks in the Xen case