add CoreOS to list of support Linux distros