I think the realtime microkernel will run on a different chip, so no, I don't think they've moved this way.

It's possible that the task switching overhead for a paravirtualized kernel is to great to make it worthwhile to save a chip on the board.