Google making a small branding change in chrome OS, its Linux-based operating system designed for Chromebook…