How reasonable would it be to make genode binaries (aside from core and init) compatible across different kernels? It seems that putting kernel-specific code into a shared library would work. How would this affect performance?