UPDATE os_images SET deprecated = FALSE WHERE id =  'coreos';

UPDATE schemaversion SET version = 13;