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