[PATCH v7 22/25] x86: Add support for generic vDSO