This patch-level release adds optimizations, particularly to the task scheduler's handling of blocked tasks (so that tasks that get blocked are not placed back at the rear of the task of its priority in the schedule).