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).