CKE RESTAURANTS HOLDINGS, INC.