Try to find an appropriate version of __do_div64 to support printnum function subject to kprintf.