Comment 2 for bug 925482

to work around this, the user can edit /etc/default/keyboard, run update-initramfs and after a reboot the proper keymap is selected