Update linux_kernel_list.md