taoshan: use a prebuilt kernel for now