cores/cpu/vexriscv_smp fix argument parsing