Install Linux on your x86 tablet: five distros to choose from