Hi Harald,
man fstab for the last two columns
UUID=b935b5db-0051-4f7f-83ac-6a6651fe0988 / ext4 0 0
Hmm, that alone didn't do the trick as / has to be mounted in order to
read /etc/fstab.
However I found out about an "fastboot" kernel option which seems to
work well in combination with your suggestion.
Thanks :)
Regards, Clemens