[kernel] add missing configuration symbol (for rdc)