Interesting stuff.. now I even understand why the timesync to hwclock was working sometimes when shutting down the RPi but not at bootup.
I guess all that could be done with the raspi-config script using options to choose fake-hwclock or a RTC-module.