cpu/vexriscv_smp: fix args_read.