new common header sys/kernel.h for kernel includes