Thanks Peter,
I have exercised that option already before posting and somehow it didn’t work.
Changing the parameters (and recompiling) didn’t change the default values, so my conclusion is that they might be
somehow hard-coded in a kernel driver.
Jan