Changed the low-level booter to use the new API: retype and
mem_activate. Tested and worked.