usched_bsd4 - fix incorrect use of PINTERLOCKED tsleep