Eu, você pode acessar o menu BOOT pela F12, ou com o botão NOVO, o indicador da bateria. Note que este PC é somente UEFI de 32 bits, então você deve incluir o arquivo bootia32.efi na pasta BOOT da sua unidade USB. Aqui o arquivo pré-compilado: link . O estado da arte é que você pode alcançar o WIFI trabalhando com o kernel, veja link funciona para obter um ISO ubuntu personalizado (Wifi , no mais recente, trabalhar fora da caixa). Para o áudio, verifique a mesclagem no Linux-next e no Linux 4.9, as alterações estão funcionando nas sombras;)