Running Ubuntu on the One Mix Yoga 3 mini laptop (Update: and other operating systems)