Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above