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