eal/arm32: define coherent I/O memory barriers