Input device for hotkeys changes on each boot
The input device (e.g. /dev/input/eventXX
) is a virtual device created by the hp_wmi
kernel module, and it doesn't keep the same number on each boot.
I think the fix here is to make a change to the hp_wmi
module to add a uuid so that it has a consistent identity across boots.