It's close, but the key difference is it doesn't actually restrict the user, since you're both legally allowed and technically able to build and use a kernel without that code.