my guess is they bought redhat because it bought coreos. and ibm wanted that, too.