Re: [PATCH] x86/mm/kaiser: avoid 32-bit/PAE build warning