[kernel] add missing configuration symbols