test_kernel.sh: add config options