Update configs for 4.18.20/4.19.13/4.20.0 due to the new toolchain
[kernel-configs.git] / 4.2 /
drwxr-xr-x   ..
-rw-r--r-- 186339 x86-32-nonpae
-rw-r--r-- 187594 x86-32-pae
-rw-r--r-- 183423 x86-64