> Under what circumstances does the choice of backend OS ever deliver "explicit customer value", so much so that the customer would care about said choice?
Is the service working, is it not? (are there show stopping OS issues?)
Are the performance characteristics we need there, or not?
Is the service secure or not?
There's a whole lot of things right through that entire space where the choice of operating system can make quite a fundamental difference.
As a general statement, I wouldn't want to make this kind of a migration without something bordering on a killer feature that wasn't possible otherwise, or some fundamental driver problems (I've replaced Linux with FreeBSD on border devices in the past, due to particular issues with Linux in ways I couldn't afford to have keep biting me)