Comment 7 for bug 1017880

@YannUbuntu: thanks, you're right http://lists.debian.org/debian-boot/2012/10/msg00185.html does take the more advanced approach to resolve different problems with Ubuntu/Linux on EFI systems. It does do the same like my "patch" plus more.

I will let run some test installations with the patches from the debian list. So far I can see, they should resolve most of the problems with Ubuntu EFI installations I had been faced with.