Add armhf configs for 4.9, 4.14, and 4.17
[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