kmsg: use do_div() to divide 64bit integer