Adding hexadecimal printing to kprintf.