[SeaBIOS] [PATCH 3/5] Minor - USB OHCI interrupt queue should be one larger.