Leonardo Keyboard Library: Support for in-BIOS-keyboard ?

I suspect the bios doesn't like seeing two keyboards.