Re: Use of GCC __attribute__(("FIQ")) in Linux kernel?