[PATCH nixpkgs 01/16] linux: enable Xen everywhere it can be