[PATCH v3 28/36] sparc64: vdso: Move hardware counter read into header