vm/debian-kdev64.sh: fix a typo