[SeaBIOS] [PATCH 10/10] Xen: Xenstore example -do not apply