Re: a minor bug in claim_irq