libdtrace depends on some of these kernel files apparently.