use Kowalski kernel config.
add Kowalski prebuilt binary.
add kowalski kernel and binary.