Updating 4.0 configs to reflect the final release version of 4.0
[kernel-configs.git] / 4.0 /
drwxr-xr-x   ..
-rw-r--r-- 183161 x86-32-nonpae
-rw-r--r-- 183161 x86-32-pae
-rw-r--r-- 178991 x86-64