* [x86-64 pc] Fix up linker magic so that the boot code is in .boot and main kernel code in .text
* [kernel] hardware ports must provide an implementation of hardware/*/physmem for kernel/heap to use
* [debug] dump some stats about the load ed kernel to check everything's loaded ok