Comment 6 for bug 358762

Loïc asked for a release team review/ack here, but I don't see that there's a final debdiff available for inspection - from what I see there are two different patches being considered? (maybe three, depending on what's in the debian fix?)

Either of the proposed bits of code here look reasonable/acceptable to me.

As for update-initramfs -c not calling the bootloader, it's assumed that this is handled by the kernel postinstall hooks instead. Does flash-kernel correctly integrate with the kernel packages on that score?