Re: system timer interrupt targets for SMP platforms with local timer support