[Bug 818441] GRUB Menu: zypper up often wipes out custom grub.cfg changes, created by modifications to theme.txt