fix the path of taoshan kernel