[SeaBIOS] [PATCH v2] Xen: Use VGA Hooks to make VGA passthrough work on certain devices