x86: shrink __PAGE_KERNEL/__PAGE_KERNEL_EXEC on non PAE kernels