I don't know enough about the details of the kernel's behavior to say for sure, but what you write sounds correct to me. I have my guesses about where the misinformation originated, but of course I can't say what another person is thinking.