[PATCH RFC 07/14] sparc64: vdso: Move hardware counter read into header