Finish renaming the printf system call to print.
Make kernel work with the new mangling.