Add missing kernel configuration symbols (#4297)