kprintf: %p and uint handling