taoshan: (temporarily) switch to another kernel