The Korean government plans to migrate from Windows 7 to Linux