x86: __vdso_getcpu() warning fix