libsystem_kernel is now a shared library (as it should be).