It seems the keyboards are recognized at boot:
[ 4.126317] input: USB USB Keykoard as /devices/pci0000:00/0000:00:1d.7/usb2/2-1/2-1.3/2-1.3:1.0/input/input4
[ 4.126373] hid-generic 0003:1C4F:0002.0003: input,hidraw2: USB HID v1.10 Keyboard [USB USB Keykoard] on usb-0000:00:1d.7-1.3/input0
[ 4.126475] input: USB USB Keykoard as /devices/pci0000:00/0000:00:1d.7/usb2/2-1/2-1.3/2-1.3:1.1/input/input5
It seems the keyboards are recognized at boot: pci0000: 00/0000: 00:1d.7/ usb2/2- 1/2-1.3/ 2-1.3:1. 0/input/ input4 0002.0003: input,hidraw2: USB HID v1.10 Keyboard [USB USB Keykoard] on usb-0000: 00:1d.7- 1.3/input0 pci0000: 00/0000: 00:1d.7/ usb2/2- 1/2-1.3/ 2-1.3:1. 1/input/ input5
[ 4.126317] input: USB USB Keykoard as /devices/
[ 4.126373] hid-generic 0003:1C4F:
[ 4.126475] input: USB USB Keykoard as /devices/