BREAKPOINT: move from cpu/irq.h to cpu/attr.h