Well that wouldn't work if you got a kernel built by somebody else, so maybe they need to add a runtime checker that will cause the kernel to refuse to boot if it breaks any of your software. That way you know when you need to update your userland. :P