Re: [PATCH v6 18/19] x86: Add support for generic vDSO