[SPARC64]: MAX_PHYSADDR_BITS et al. really need to be 42 bits not 41.