add linux kernel list