ARM pmap cache flushed after PT modification.

[Mark Tinguely]

Using the same logic that the ARM ARM for pre-ARMv6 MMUs says the
cache has to be written back and/or invalidated before making 
changes to page table entries; pmap_remove_all() also forces the
page table entry to NULL and I believe needs to be invalidated.

--Mark Tinguely.