Comment 5 for bug 1808056

@mwhudson I think those can get updated by flash-kernel actually. Not sure if that works though as I did not have any occasion to test that. But in theory the flash-kernel triggers, besides updating the kernel on the boot partition, should also update the boot.scr script every time.

That being said, this would then require us to also handle the gzipping of the kernel on upgrades, which is why I said all this would be relatively simple but would require some changes. We'd need to modify flash-kernel to gzip the new kernel before performing the upgrade on the boot partition. Sounds like a trivial addition, but might need some testing.