[PATCH] rtmutex: Modify rtmutex-tester to test the setscheduler propagation