This is accurate for all filesystems that aren't root. As I understand it, in most modern Linuxes, the root fs gets mounted on something like /real_root in the initrd and then pivot_root happens which chroots into that. I think that discussion is outside the scope of what we're trying to do here. Maybe a parenthetical statement that "root is special and that will be covered in the boot process documentation"?