a minor bug in claim_irq

[Da Zheng]

Hello,

Here is a minor bug in claim_irq when ddekit_interrupt_attach fails. We should
be set used_irqs properly in case ddekit_interrupt_attach fails. The fix is in
the attachment.

Best regards,
Zheng Da

diff --git a/libdde_linux26/lib/src/arch/l4/irq.c b/libdde_linux26/lib/src/arch/l4/irq.c
index 9594b05..20bd57f 100644
--- a/libdde_linux26/lib/src/arch/l4/irq.c
+++ b/libdde_linux26/lib/src/arch/l4/irq.c
@@ -101,6 +101,7 @@ static int claim_irq(struct irqaction *action)
 		                                      irq_handler,
 		                                      (void *)irq);
 		if (!irq->thread) {
+			used_irqs = irq->next;
 			ddekit_simple_free(irq);
 			return -EBUSY;
 		}