[kernel] add missing kernel configuration symbols