ks01: switch to prebuilt kernel