xenlight: eliminate most of device.ml

The only things left in device.ml that is needed are to do with vncterm and
some Vbd-related functions that are used by save and restore. Perhaps we can
eliminate these as well at some point.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
tryout