[SeaBIOS] handle_hwpic1 irq=0 - what's going on?