На данный момент установлена x86_64 система. Ядро 4.1.6-1.
Решил собрать ядро 3.17.6. Конфиг создавал с помощью make menuconfig. Напротив пункта 64-bit kernel стояла * (т.е. был выбран данный пункт). По окончанию компиляции выдало:
Kernel: arch/x86/boot/bzImage is ready (#1)
Получается скомпилировалось x86 ядро?