[dev][cache][pl310] fix build after arm_vtop moved headers
[arch][arm] set the TTBR bits to allow cached page table walks

Remove extraneous page table flushing.
NOTE: for SMP shared configuration, will need to set the shared bit.