I think this is the right place. We just need to wait for Michael Chang to have a look at this bug. You can have a look at my bug too : https://bugzilla.opensuse.org/show_bug.cgi?id=1169211 They are duplicates. In the meantime, you can disable the patch and rebuild grub.