...though at this point start_kernel.c just does a test of the video and serial/printing capabilities and nothing else.