ARM dcache clean: invalidate shadow page table.