kdeos settings in filesystem, grub