[SeaBIOS] [PATCH] usb: Only disable HID devices if both USB_MOUSE and USB_KEYBOARD are off.