add missing kernel configuration symbol (#5564)