生成AI開発のプラットフォーム「RHEL AI」、Red Hatが発表