Bug#518154: Acknowledgement (x11-xkb-utils: missing multimedia keys / Ubuntu global workaround)

[Alain Baeckeroot <alain.baeckeroot@laposte.net>]

Additional informations :

I managed to make it work, withotu this ugly workaround, by editing
/etc/X11/xorg.conf and change

Option "XkbdModel" "pc105"
to
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
TOSHIBA
# /usr/sbin/dmidecode --string system-product-name
Satellite P300
# dmidecode --string system-version
PSPC4E-024015FR