Yes.. the initfs_flasher worked fine and for some time (a couple of reboots) everything seemed to be ok. I guess I just have to face it and do a reinstall on my SD-card.