x86/vdso: Enable x86 to use common headers