Extend vmi_pid_t to 128-bit so that it can be casted to be process_context_t which contains both a 32-bit pid and 64-bit dtb