[SeaBIOS] [PATCH 1/3] enable Xen support by default.