Write a wobbly imitation of `printf'
`kmain' takes a single (uint32_t) argument

...and it marks the place where the kernel's code has ended