Kernel development process questions