Add kern/kern_sysctl.c.