[kernel] add missing configuration symbol
This page took 0.164588 seconds and 3 git commands to generate.