[OpenBIOS] [PATCH 5/5] usbhid: fix up keyboard alias for USB keyboards