kernel updated with latest scheduler (still need to be tested)