cputime: Prevent 32bit overflow in time[val|spec]_to_cputime()