libdtrace depends on some of these kernel files apparently.
Merge branch '20140225-dtrace-regset-fixups' into markj-develop