Proper handling of Timer interrupts and TAIV address