Nice, that works for me too, it shows up in libinput but does not actually work. Does this mean there's an issue with i8042 that needs to be resolved for this keyboard to be recognized and work, or that a new driver needs to be written for this specific keyboard?
You mentioned some hotkeys...