In fact I remember page tables are uncached. In lack of the other call
another change that I did but never made it in was to cache the page
tables temporarily in pmap remove for large mappings so the CPU can take
care of burst reads (since it doesn't do so autmoatically for uncached
mappings I think). That would make a noticable difference too; I think
ARM Linux would still kick it's butt however...