[PATCH] x86_64: Force correct address space size for MTRR on some 64bit Intel Xeons