Re: kernel IRQ7 problem