mvebu: fix device I/O coherency issues