PMP is too slow

PMP is on the critical path, and only got worse after checking that the upper end of the access does not go beyond the top of the region. It would be great to speed up PMP. Perhaps some precomputations are possible.