Add a temporary print function to the kernel