Prior to this commit, this file said it was generated from XKB, and was much smaller, not including the scan code for that other key. This commit added the 0x56 bar translation with altgr, and it wasn't until after 2.12 those smarts were inserted to pick the scancode that matches the current modifier keys.
So I think it should be as simple as removing this one line from the keymap file and we can SRU a fix!
Just posted this to the mailing list:
Thanks. I checked out the 2.11 version that Ubuntu 18.04 shipped and found the problem:
commit a7815faffb2bd59 4b92aa3542d7b79 9cc89c5414
Author: Gerd Hoffmann <email address hidden>
Date: Thu Oct 5 17:33:30 2017 +0200
pc- bios/keymaps: keymaps update
Update the keymaps with the ones generated by qemu-keymap
Signed-off-by: Gerd Hoffmann <email address hidden>
Message-id: <email address hidden>
Prior to this commit, this file said it was generated from XKB, and was much smaller, not including the scan code for that other key. This commit added the 0x56 bar translation with altgr, and it wasn't until after 2.12 those smarts were inserted to pick the scancode that matches the current modifier keys.
So I think it should be as simple as removing this one line from the keymap file and we can SRU a fix!