Merge pull request #610 from Dolu1990/vexriscv_smp