fix do_div() on 32-bit x86