Oh wow, I’ve been looking for something like sdbootutil, I hope it works fine on Debian (although it doesn’t seem to complicated if it doesn’t).