Re: [SeaBIOS] [PATCH] Xen: add definition of xen_hypercall_page