core/include/arch/irq_arch.h: fix typo and trailing whitespaces