add linux_kernel list