main.c

This commit changes the tickless idle behaviour.  Instead of keeping
interrupts off during sleep, they are enabled because preemption somehow
prevents them from triggering with WFE.  This might have unintended
sideeffects and needs further verification.

Signed-off-by: Rahix <rahix@rahix.de>