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