[PATCH v4 28/35] sparc64: vdso: Move hardware counter read into header