Fix xen domain id comparison types

Apparently with some compilers (clang) a comparison between a unsigned long and a uint32_t can produce a negative result even if their contents match.. casting it fixes the issue.