Re: Kernel code interrupted by Timer