Update irqs-board-semc.h