Eh, that info is already trivially available from my original mail:
uhci_hcd 0000:00:1d.2: new USB bus registered, assigned bus number 3
[...]
input: USB Compliant Keyboard as /class/input/input0
input: USB HID v1.10 Keyboard [USB Compliant Keyboard] on usb-0000:00:1d.2-1
input: USB Compliant Keyboard as /class/input/input1
input: USB HID v1.10 Device [USB Compliant Keyboard] on usb-0000:00:1d.2-1
Yes, obviously the keyboard is attached during boot (and has been connected
to the same USB port basically since I first installed the machine...).
No idea. I could try this I guess if it will really provide useful info.
Somehow I doubt that in this case.
Will include that in my reply to Alan's mail.
Cheers,
FJP
--