Red Hat already bought CoreOS in January 2018, some 18 months before IBM bought Red Hat.
The question would have been more relevant to either of those.