MLFQS modifications in thread.h and thread.c