Re: [PATCH 4.14 114/165] x86/vdso: Fix vDSO build if a retpoline is emitted