Update copyrights and mark ia32 timers as non-monotonic.