Updated kernel to build xen-netback driver