Atualizando... resolvi testar a sugestão, e não deu certo.
Primeiro, as instruções mandavam montar um sistema de arquivos "cgroupfs", que minha máquina não reconheceu.
Segundo, com as outras modificações (mas sem o tal sistema de arquivos montado), a máquina ficou sensivelmente instável. Cheguei a temer pela instalação, mas por sorte consegui recuperar o controle. Não sei dizer se o problema aconteceu junto com o anterior, ou por causa do anterior.