(In reply to Petr Vorel from comment #4) > This is a quick fix for XEN, but I hope /boot/config-$(uname -r) will be > reintroduced (#1189879). I do hope so, and I believe not only grub is affected. But as long as the fix is trivial and non intrusive, I decided to go for a quick fix rather than waiting for that to happen. This could release my tension of receiving accumulated bug reports these day.