[orion] add missing kernel configuration symbol (#5564)