[PATCH] x86_64: Allow kernel page tables upto the end of memory