Re: NO_HZ_IDLE on x86_64?