[PATCH 12/14] vdso/gettimeofday: Add support for auxiliary clocks