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