kernel/irq/chip.c now uses these, which lead to compile error
for CRISv32.
Signed-off-by: NJesper Nilsson <jesper.nilsson@axis.com>