Update notes for submitted changes

* kernel/resource.c: fix stack overflow in __reserve_region_with_split
Update notes for submitted changes

* sched: task_times() explosion avoidance for tasks with > 2^32 acrued ticks