before shift. Fix overflow issue preventing xend from working as reported by Mark Davies on port-xen@