[PATCH] paravirt: re-enable COMPAT_VDSO