Most certainly not. Please file a bug against grub. It seems very strange that it would work with update-grub manually though since a new kernel would as far as I know also simply call update-grub.
Most certainly not. Please file a bug against grub. It seems very strange that it would work with update-grub manually though since a new kernel would as far as I know also simply call update-grub.