Note: this is re-posting after reworking the WMI core driver and fixing
overly long lines in the WMI core driver and WMI All-In-One driver.
BugLink: http://bugs.launchpad.net/bugs/676997
Impact: Dell device is lacking volume up/down hotkeys which require
a WMI driver to handle the WMI hotkey events with the GUID
284A0E6B-380E-472A-921F-E52786257FB4.
Fix: Update WMI core driver to support multiple WMI events with the
same GUID, and add in WMI driver for the two up/down volume hot keys.
Testcase: With the driver, hotkeys work correctly. Without the driver,
hotkeys don't work.
Colin Ian King (3):
UBUNTU: SAUCE: Allow registration of handler to multiple WMI events
with same GUID
UBUNTU: SAUCE: Add WMI hotkeys support for Dell All-In-One series
UBUNTU: [Config] Enable Dell All-In-One WMI Hotkeys driver