Sorry guys, that setup from nearly two months ago is already gone and forgotten and another distro happily up and running. Sincerely, -- Joosep-Georg Järvemaa -- User hook script /sbin/update-grub failed https://launchpad.net/bugs/62409