Bug#518154: Acknowledgement (x11-xkb-utils: missing multimedia keys / Ubuntu global workaround)
Additional informations :
I managed to make it work, withotu this ugly workaround, by editing
/etc/X11/xorg.conf and change
Option "XkbdModel" "pc105"
Option "XkbModel" "toshiba_s3000"
but, its far from obvious to find it.
I don't know if i should fill a bug against debian installer, or xorg-server ?
more hardware info used by hotkeys (who failed too to configure it ;-)
# dmidecode --string system-manufacturer
# /usr/sbin/dmidecode --string system-product-name
# dmidecode --string system-version