coreOSがRedHatに買収された