cpu/vexriscv_smp Add --with-coherent-dma