That should tell you how much relevance it has to anyone besides Intel.
As for the relevance for microkernels, they are doing alright outside desktop computers.