In xenbus, read the domain id into a domid_t (short int)

Fixes x86_64 build with format warnings enabled.