add default kernel configs

ronnie

2022-10-23 e4b2278a4015864069fc7b2eb574f5aeb7736bc6

1
2
3
[spatch]
    options = --timeout 200
    options = --use-gitgrep