Fix environment for kernel 3.8 (TDR14.5)