Extend vmi_pid_t to 128-bit so that it can be casted to be process_conte...

...xt_t which contains both a 32-bit pid and 64-bit dtb