Bug#1051292: grub-efi-amd64 post install script 10_linux.orig fails with locally compiled kernel

[tv.debian]

You can close this bug, I'll deal with it locally since it only affects 
systems with out of repository kernels. It is not worse your time.
Sorry for the noise.

Thanks.