I can confirm that the new version of initfs_flasher works as advertised. This means that the SD Boot problem can be considered solved. Good night and good luck!