Updated kernel list.