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?
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?