Merge "haven: Add the memparcel handle as a well known haven type"

typedef u32 hh_rm_msgid_t;

typedef u32 hh_virq_handle_t;

typedef u32 hh_label_t;

typedef u32 hh_memparcel_handle_t;

typedef u64 hh_capid_t;

typedef u64 hh_dbl_flags_t;