Hmm, the priority fix seems to work when combined with the fix for improved timer scheduling fairness (bug 897045). This now looks easy to do.
Hmm, the priority fix seems to work when combined with the fix for improved timer scheduling fairness (bug 897045). This now looks easy to do.