[SeaBIOS] [PATCH 0/3] Use VGA Hooks to make Xen VGA passthrough work on certain devices