Linux is licensed under GPLv2 with an additional permission (or exception):
> NOTE! This copyright does not cover user programs that use kernel
services by normal system calls - this is merely considered normal use
of the kernel, and does not fall under the heading of "derived work".
All the contributors license their work under this license with this additional permission. So in that sense it's not really Linus interpreting the GPL, and I don't think there's a risk of a contributor revoking this permission.
But maybe this doesn't apply to kernel modules and doesn't address the GPL_ONLY symbols thing.
> NOTE! This copyright does not cover user programs that use kernel services by normal system calls - this is merely considered normal use of the kernel, and does not fall under the heading of "derived work".
All the contributors license their work under this license with this additional permission. So in that sense it's not really Linus interpreting the GPL, and I don't think there's a risk of a contributor revoking this permission.
But maybe this doesn't apply to kernel modules and doesn't address the GPL_ONLY symbols thing.