This jumped out at me too. I don’t think this point was carefully considered.

For example, the Linux kernel uses reference counting - see https://www.kernel.org/doc/Documentation/kref.txt . Does anyone doubt that this mechanism is better than attempting to garbage collect the kernel?