PortableDellE6230-bios-boot

journalctl -b0 -p err

-- Logs begin at Wed 2017-06-21 14:44:00 CEST, end at Mon 2018-01-01 11:57:04 CET. --
janv. 01 11:33:07 e6230 systemd-udevd[263]: Error calling EVIOCSKEYCODE on device node '/dev/input/event7' (scan code 0x100150, key code 190): Invalid argument

cat /proc/bus/input/devices

...
I: Bus=0019 Vendor=0000 Product=0000 Version=0000
N: Name="Dell WMI hotkeys"
P: Phys=
S: Sysfs=/devices/platform/PNP0C14:00/wmi_bus/wmi_bus-PNP0C14:00/9DBB5994-A997-11DA-B012-B622A1EF5492/input/input9
U: Uniq=
H: Handlers=kbd rfkill event7 
B: PROP=0
B: EV=13
B: KEY=800000000000 0 0 1500b00000c00 200300000 e000000000000 0
B: MSC=10
...

Change "KEYBOARD_KEY_150=f20" to "KEYBOARD_KEY_100150=f20" should fix
this issue.

Confirming this fix works here.

Editer **/lib/udev/hwdb.d/60-keyboard.hwdb** with the change above followed by
:~$ udevadm hwdb --update
~:$ udevadm trigger