[Gollum63]

Le guide sembrano ok,
hai provato a cambiare il n° di /dev/ttys0 magari con ttsy1 ?
e soprattutto hai resettato xorg col comando

sudo dpkg-reconfigure xserver-xorg

ps prima di ogni modifica a xorg è sempre meglio fare un backup del file