Existe um script de fácil utilização com passos muito semelhantes que resolveram o meu problema onde o procedimento no seu link não podia. Ele também corrige a resolução do grub, assim você não pode querer definir a resolução muito alta. Você pode encontrá-lo aqui ,