x86/mm: Don't leak kernel addresses