[Backport release-24.11] buildLinux: kernel.configEnv: fix overridinig #366200

Evaluator Performance Report

stat	before	after	Δ	Δ%
cpuTime	787.56	787.75	↗ 0.19	0.02%
envs-bytes	24,573,308,872	24,573,308,872	0
envs-elements	1,305,300,219	1,305,300,219	0
envs-number	883,181,695	883,181,695	0
gc-heapSize	66,106,404,864	65,871,519,744	↘ 234,885,120	-0.36%
gc-totalBytes	152,081,162,176	152,081,167,504	↗ 5,328	0.00%
list-bytes	3,485,463,336	3,485,463,336	0
list-concats	91,423,249	91,423,249	0
list-elements	435,682,917	435,682,917	0
nrAvoided	1,025,190,119	1,025,190,119	0
nrFunctionCalls	811,121,901	811,121,901	0
nrLookups	424,053,510	424,053,510	0
nrOpUpdateValuesCopied	2,165,547,744	2,165,547,744	0
nrOpUpdates	103,314,560	103,314,560	0
nrPrimOpCalls	425,004,066	425,004,066	0
nrThunks	1,286,861,012	1,286,861,012	0
sets-bytes	49,568,389,296	49,568,389,296	0
sets-elements	2,906,937,158	2,906,937,158	0
sets-number	191,087,173	191,087,173	0
sizes-Attr	16	16	0
sizes-Bindings	16	16	0
sizes-Env	16	16	0
sizes-Value	24	24	0
symbols-bytes	3,353,288	3,353,288	0
symbols-number	187,537	187,537	0
values-bytes	40,241,019,720	40,241,019,720	0
values-number	1,676,709,155	1,676,709,155	0