Signed int support for kprintf