A short form guide about installing Linux on the Dell Venue 11 Pro (7130)