fix pre-built kernel path