kernel/resource.c: fix stack overflow in __reserve_region_with_split

Change-Id: Ieb6821e053ef8be89aace8b2464ed3ffdac6815d
sched: task_times() explosion avoidance for tasks with > 2^32 acrued ticks

Change-Id: I6543c216ccdefb7e75a1cef78c02d1e5d54397a6