Fix libxl sanlock debian

We added that recently, but its generation depends on Xen being enabled which isn't true on all arches. Hence add it dependent to that config (as we already do with some other files).