Red Hat spent 250 million acquisition of CoreOS