Variables in bsd/kern