Pokud by Vam po restartu DEL opet nefungoval, pak doporucuju zkusit jeho aktivaci pomoci nasledujiciho:
"sudo /etc/init.d/hotkey-setup restart" a ihned vyzkouset DELETE (bez restartu) - pokud by toto zafungovalo, pak tento prikaz vlozit do souboru rc.local napr. takto: sudo gedit /etc/rc.local a pred radek s "exit 0" zkopirovat vyse uvedeny prikaz (bez sudo). Ulozit a restart.
Sice nevim, jestli je to uplne nejcistsi zpusob, ale me to pomohlo.