The ARM do_div() implementation was rather lax in that it only
performed a 32-bit divide.  This cset fixes this oversight by
providing a 64-bit by 32-bit division in asm.

This is necessary for posix-timers to function correctly.