interrupt.h: fix fatal kernel-doc error