- The make_boot_image method is moved to MuCtx because it needs to refer
  to memory locations using handles of IRef types.

- Let global cells be always pinned, and added the get_addr API/CommInst
  to get their addresses.