Many thanks to Todd, Paul and J. Roeleveld.I have replaced device names like /dev/sda1 by UUIDs in my fstab which I have copied
to /usr/src/initramfs/etc, as well. Having rebuild the kernel (with an integrated initramfs) seems to work.
Thanks again, Helmut.
