Is there any value in keeping the kernel closed source ?
It prevents forking. MS doesn't want to compete against its own kernel. Even Android doesn't want to compete against itself, hence the manufacturer agreement(s) that make it effectively closed.