updated for movement of definition of PhysAddrWidth