CKE Restaurants sold for $619 million