I take it there's no SkyLake support on the Xen side, since that starts
with kernel 4.4?