@Iggy
This is great progress/news.
Also, that WiiU Linux port doesn't use SMP but...
The Expresso cpu has Symmetric Multiprocessing to connect all three cores, MESI/MERSI protocol for CPU Cache's to not cause invalidation's between all three core's when using the Cache and other implementations that were needed. It is the best 750XX PPC cpu around

.
Each core is capable of 4.9 Gflops...so a theoretical 14.8Gflops. This puts it in league with AMD - Phenom X3 8450 / A4 5000 and Intel - i5 480M / Pentium E5800.
Again, the clock multiplier is only 5x. It downclocks to 3x for vWii mode. Those same commands can upclock it but you'd need better cooling...this is why I say take it apart.
Clock is set via EEPROM
http://wiiubrew.org/wiki/Hardware/SEEPROMhttps://www.youtube.com/watch?v=OJC-rh3oLMkSMP doesn't really benefit AROS [yet]. Though the x64 version has it...ABIv1?