a number of bugs. Kernel still doesn't run properly, due to an error in the
platform detection and/or debugging code. May have to rethink debugging
process.