Fix interrupt handling and context switch bug. Now ticker is working
fine, but printf, print_name, print_time are not producing output
while printk does"