Re: [opensuse-kernel] nohz bad for powerconsumption ?