[Y2038] [PATCH 02/14] y2038: Make do_gettimeofday() and get_seconds() inline