[SeaBIOS] [PATCH 08/10] Xen: Shared info for CPU yield support and xenbus protocol