hotkeys not working on Samsung P10 laptop

Binary package hint: hotkey-setup

Using Kubuntu Edgy on a Samsung P10 laptop some of the hotkeys do not work because dmidecode returns manufacturer "SAMSUNG" in upper case which does not match "Samsung"
in the case statement in /etc/init.d/hotkey-setup.

This laptop has three keys at the top of the keyboard: "WWW symbol",
"Email", "Tick symbol", multimedia keys at the bottom (vol +/-, stop,
play/pause, ffwd, rew), and mute and vol+/- keys on the keyboard.

Out of the box two of the three top keys do not have a keycode and give
no output in xev.

$ sudo dmidecode --string system-manufacturer
SAMSUNG
$ sudo dmidecode --string system-product-name
SENSP10
$ sudo dmidecode --string system-version
08AE

The file /usr/share/hotkey-setup/samsung.hk looks like this:
# Samsung X05
# (i) [x] [v/] [wifi]
setkeycodes     75      $KEY_WWW        #
setkeycodes     78      $KEY_MAIL       #
setkeycodes     74      $KEY_PROG1      # Looks like Tick

Fix: When I replace "Samsung" with "SAMSUNG" in /etc/init.d/hotkey-setup all three top keys (and all the other ones) work and I am able to use them to launch applications in KDE in System Settings/Keyboard and Mouse/Keyboard Shortcuts/Command Shortcuts. So it looks like the case statement should be changed to match "SAMSUNG" and "Samsung".

See also:
https://launchpad.net/ubuntu/+source/hotkey-setup/+bug/23165