ks01: workaround with hlte vendor.mk
ks01: switch to prebuilt kernel