Init code handled by separate packages
To_Unsigned_32 to Kernel.Utilities
Fake base is a kernel constant
Relocation
New conversions for page tables
Procedures for installing kernel to the higher half of the virtual address range
Fixups related to namespaces
global gdt_flush is actually gdtflush
Kernel_Fake_Base formatting incorrect
Updated mainline to use new Paging and GDT code