tianchi: Remove prebuilt kernel