@Susi: if it's true that USB keyboard is managed by BIOS, at appears in some workarounds found in the net that it is also managed by Grub, which provides some module. If you don't agree, please escalate to some expert e.g. Collin Watson.
@Susi: if it's true that USB keyboard is managed by BIOS, at appears in some workarounds found in the net that it is also managed by Grub, which provides some module.
If you don't agree, please escalate to some expert e.g. Collin Watson.