There are things going on - but nothing definite released yet as far as I know.
I love the "yet" in there.
The real reason the XMOS chip is going to be on the new boards aswell is this: The "red guys"
really suck at admitting defeat. Putting those chips on the boards doesn't cost much, and Trevor pays for the manufacturing anyway - so we're going to get completely useless XMOS chips on anything they offer from now on - BECAUSE IT WASN'T A STUPID IDEA, YOU TROLL!
OS4 is in the process of migrating from single-core.
There was a vague hint that the Friedens might be working on it, that's not the same as "in the process of migrating".
Actually, didn't Solie claim at AmiWest that only Gallium 3D was missing so they could release 4.2? That would mean multicore support is still 5-6 years off, at the very least.