[PATCH] missing exports of do_settimeofday() variants