Baixei novamente o arquivo iso e obtive o mesmo md5sum, então o download estava correto. Em seguida, escrevi o arquivo baixado novamente para o mesmo dispositivo USB, com a mesma ferramenta, o 18.04 Startup Disk Creator. E agora funcionou!
No arquivo syslog, agora vejo a mesma mensagem de erro referente a TSC_DEADLINE
, mas a inicialização continua. Portanto, parece que as primeiras mensagens na imagem não eram relevantes, apenas aquelas que começam com SQUASHFS error:
, indicando que a primeira gravação no pendrive de algum modo falhou.