Windows 8.1 could boost Windows 8 adoption, believes Gartner