[kernel] add missing config symbol