add a new platform, known for running Linux properly
This platform is quite configurable:
This platform is also quite fast, thanks to the use of VciLocalCrossbar instead of DspinLocalCrossbar (about 30% faster on Linux simulation).