-CONFIG_USEC_PER_TICK=10000
+CONFIG_USEC_PER_TICK=1000
A system timer with a 10 MS period is not sufficient to run the dual thread sporadic scheduler test since the timings in that test are also around 10 MS. Apparently there is a race condition when both sporadic thread's budgets complete on the same clock time. This change does not eliminate the race, but reduces its effect greatly.
2775cadcd2