Power saving: BIOS settings vs. KDE settings