kernel source questions