update kernel path