Use do_div() for integer division in litmus/sync.c

Breaks without do_div() on ARM.
Define is_priority_boosted() if !CONFIG_LITMUS_LOCKING

To avoid compile errors if locking support is disabled, and to avoid
having to use #ifdef each time is_priority_boosted() is used.