irq_work.h: fix warning when CONFIG_IRQ_WORK=n