[PATCH 439/552] ARM: 8896/1: VDSO: Don't leak kernel addresses