See: https://forums.opensuse.org/showthread.php/534612-GRUB-problem-after-update-to-Tumbleweed-2019-01-15