Add the one useful Ubuntu patch

This patch is for Xen but is ubuntu specific, so add it.