sched/deadline: Fix a precision problem in the microseconds range