update kernel list