Replaced xenguest_stubs.c by a Xen-4.2-proof version