Sorry for the further interruption, I think I found the reason: the reboot script has the name S01reboot in rc6.d, so it gets executed before S01umountroot. No clue why that could be.
Sorry for the further interruption, I think I found the reason:
the reboot script has the name S01reboot in rc6.d, so it gets executed before S01umountroot. No clue why that could be.