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