Fix PHYS_ADDR_MASK: upper bits of a PTE are reserved so they are 52 bits long. Thanks to Paul Brook for noticing that.
Changed paths: