[kernel] add missing configuration symbol