Module load

Support for loading a TMK into VM memory.

Functions

• load_aarch64
• load_binary 🔒
• load_x86
  Loads a TMK, returning the initial registers for the BSP.