kern/linux/sched.hh: kern/linux/thread_info.hh: got rid of everything but exactly what we needed util/categories.py: newest version from one of my repositories --HG-- extra : convert_revision : c4328e5938d421d60493c0da07022bfa9e92c404
util/stats/stats.py: add database command to help --HG-- extra : convert_revision : 5d77e9d3e142f884d08d34b730c385c41c6bcafb