甲公司通过签订服务器协议，提供10万元专项培训费用将尚有4年劳动合同期限的职工刘某派出参加6个月的专业技术培训。双方约定，刘某培训结束后须在甲公司工作满5年，否则应向公司支付违约金。刘某培训结束工作2年时因个人原因向公司提出解除劳动合同。下列关于刘某服务期约定及劳动合同解除的表述中，正确的是()。