SCHED_DEADLINE: Use library for division of 64-bit unsigned ints.

The ARM architecture does not provide division of 64-bit unsigned
integers, and gcc 4.1.2 complains about missing __aeabi_uldivmod.