Re: [PATCH 4.4 1/2] x86/vdso: Remove direct HPET mapping into userspace