Re: a bug on NO_HZ_FULL_ALL