tasklets.c: update used stack size

was allowing case of stack_used_size < num_bytes to
slip by so restore function wasn't restoring all bytes