[kernel] add missing config options from #7733, thanks maddes
This page took 0.107912 seconds and 3 git commands to generate.