Re: grub2 got strange power saving behavior (or is it my BIOS)