I'm not sure why they used Minix at all. Surely Intel has enough expertise to build a custom OS that does exactly what they need and nothing else? That would have been easier to control for them, and it would have prevented this Minix-related news, which adds only more attention to something they'd have preferred to keep quiet.