[SeaBIOS] [PATCH 1/2] Kconfig: Add option to enable support for running as a Xen HVM guests BIOS