On Wed, 2013-02-06 at 23:13 -0500, Kevin O'Connor wrote:
Restoring flags on exit is assuredly more correct, and if I move timer_setup() to the prepare-to-boot phase this problem goes away for me. So, I think this is more evidence that the timer can not be enabled in the init-yourself phase.
Yeah, I'll change that. Thanks.