Linux, the overweight king of cloud: Will this change anytime soon?