Comment 1 for bug 41834

Revision history for this message
kko (kko) wrote : Output of "sudo dmidecode"

In case it's of any use, as I noticed that "/etc/init.d/hotkey-setup" uses dmidecode.