fix dietlibc Makefile to support cross-compiling from x86_64
assert that identity map of the native kernel completes
low level kernel is actually getting correctly mapped
had to bump KERN_MEM_ORDER to actually fit the entier low-level kernel
clean up output a bit