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

[Kevin O'Connor]

On Mon, Mar 31, 2014 at 11:56:01PM -0400, Kevin O'Connor wrote:
> Fix typo in code causing both CONFIG_USB_MOUSE and CONFIG_USB_KEYBOARD
> to be effectively disabled if either is disabled.

FYI, I have committed this patch.

-Kevin