I've committed a fix which should solve the 8254 interrupt delivery issue. -Matt Matthew Dillon <dillon@xxxxxxxxxxxxx>