kernel parameter check

implenet kernel parameter check, with `run_with` matcher.