xenlight: make xenopsd work with windows PV drivers