ttcn3.sh: add options for kernel tests

Change-Id: I2a569b6712d8930807750751c14ed4e18b325e02
1 file changed