Implement faster pmap_extract, this one uses the ARM PAR and c7 PA to VA translation register.