WeensyOS2: Priority scheduler.