政府専用機って、機種が変わった?