Re: Regarding Linux kernel SMP and task switching CPU