There is a bit more discussion on this thread. I modified the core Arduino files for USB keyboard which did help on the problem I was trying to solve. It may work for you.
https://forum.arduino.cc/index.php?topic=545288.msg3717028#msg3717028
Teensy USB keyboard emulation is much better so it should work in BIOS but I have not verified this myself.