taoshan: fix path to kernel