[SeaBIOS] [PATCH 2/2] Add support for use as Xen HVM BIOS.