Small fix in HummingBoard interrupts