Several of the values used in printing the runqueues are actually
ints, not words. Correct the type used.

Change-Id: I1b700a679d1dee04d2de28e9ec8d8e343e03fbe4