Use Ubuntu instead of Debian on a Chromebook