Merge pull request #623 from Dolu1990/vexriscv_smp