[SeaBIOS] USB keyboard and mouse not detected

[Nils]

>On Mon, Dec 26, 2011 at 10:31:35PM +0100, Nils wrote:
>> With that patch:
>> 
>> pmm_free 0x1f7b4a30 (detail=0x1f7b4a60)
>> ohci_free_pipe 0x1f7b4aa0
>> signal_freelist control=97
>> signal_freelist2 control=87
>> WARNING - Timeout at ohci_waittick:275!
>> pmm_free 0x1f7b4a90 (detail=0x1f7b4ac0)
>> ohci_free_pipe 0x1f7b4b00
>> signal_freelist control=97
>> signal_freelist2 control=87
>> WARNING - Timeout at ohci_waittick:275!
>> pmm_free 0x1f7b4af0 (detail=0x1f7b4b20)
>> init serial
>> Found 1 serial ports
>
>Out of curiousity, if you disable ohci_free_pipe() (by adding a
>"return" as the first statement of the function) does the keyboard
>work long enough to get to the boot menu?

I tested this and i couldn't get to the boot menu.

Thanks, Nils.