Linux 3.18 no longer boots under Xen, Xen CI dropping it