Modifications to support Ubuntu 12.04-LTS / Xen 4.1.