Duh.. stuck midway between x86 and ARM these days.. Yeah, I meant FIQ. The fix is to just change the save_flags_cli() call into a save_flags_clif() call in the reset_timer() routine in the kernel. Hugo already knows about, too. Cheers