How will AI change operating systems? Part 1: Ubuntu and Linux