Download mainline kernel and xen