Bem, eu encontrei isto (para outro recurso). Ele informa como acessar a BIOS no dispositivo. Ele usa o unetbootin para criar um dispositivo usb inicializável. Apenas mude a distro do Ubuntu para o Mint. Ao verificar ao redor, descobri que as pessoas instalaram outras distros, incluindo o Arch,
Se você estiver familiarizado com a inicialização dupla, não deverá haver nenhum problema depois de entrar no BIOS.
Palavras de cautela
Você pode querer verificar se o Mint suporta dispositivos de toque. E se for suportado no SP3.