Comment 9 for bug 560551

Ok, it's quite unusual to not see a separate keyboard input dev for laptop hotkeys, *especially* when you're reporting double-keypress events like this.

Can you post the full output of 'sudo lsinput' on this system?