Thanks. Digikey does not list it yet. I'll have to wait a little bit more, I think. Ànd If I understood your post you linked correctly it is also a little immature.
I was asking any multicore board, no matter what's it's name or number of cores(as long it is more than one).