taoshan: use another kernel