Comment 3 for bug 1852071

Command `sudo showkey` prints following outputs:

F3
keycode 61 press
keycode 61 release

fn+F3 (identical to fn+F4, fn+F8)
keycode 190 press
keycode 190 release

F4
keycode 62 press
keycode 62 release

fn+F4 (identical to fn+F3, fn+F8)
keycode 190 press
keycode 190 release

F5
keycode 63 press
keycode 63 release

fn+F5
keycode 113 press
keycode 113 release

F6
keycode 64 press
keycode 64 release

fn+F6
keycode 114 press
keycode 114 release

F7
keycode 65 press
keycode 65 release

fn+F7
keycode 115 press
keycode 115 release

F8
keycode 66 press
keycode 66 release

fn+F8 (identical to fn+F3, fn+F4)
keycode 190 press
keycode 190 release

F12
keycode 88 press
keycode 88 release

fn+F12 (double codes?)
keycode 29 press
keycode 56 press
keycode 29 release
keycode 56 release

F13/fn+F13 (the same with and without fn; double codes?)
keycode 29 press
keycode 56 press
keycode 29 release
keycode 56 release

F14/fn+F14 (the same with and without fn; double codes?)
keycode 56 press
keycode 125 press
keycode 56 release
keycode 125 release

F15/fn+F15 (the same with and without fn; double codes?)
keycode 29 press
keycode 56 press
keycode 29 release
keycode 56 release