[РЕШЕНО] в x64 системе собирается x32 ядро.

andrex@tux ~ % uname -a
Linux tux 4.7.2 #11 SMP Thu Sep 1 05:49:46 IRKT 2016 x86_64 Intel(R) Core(TM) i7-2670QM CPU @ 2.20GHz GenuineIntel GNU/Linux
andrex@tux ~ % arch
x86_64
tux linux # make oldconfig
tux linux # make -j9
tux linux # ls -l arch/x86_64/boot/bzImage
lrwxrwxrwx 1 root root 22 сен 1 18:36 arch/x86_64/boot/bzImage -> ../../x86/boot/bzImage
tux linux # file arch/x86/boot/bzImage
arch/x86/boot/bzImage: Linux kernel x86 boot executable bzImage, version 4.7.2 (root@tux) #11 SMP Thu Sep 1 05:49:46 IRKT 2016, RO-rootFS, swap_dev 0x7, Normal VGA

ну ок, пробуем по другому)

tux linux # make mrproper
tux linux # make ARCH=x86_64 oldconfig
tux linux # make ARCH=x86_64 -j9
tux linux # ls -l arch/x86_64/boot/bzImage
lrwxrwxrwx 1 root root 22 сен 5 20:30 arch/x86_64/boot/bzImage -> ../../x86/boot/bzImage
tux linux # file arch/x86/boot/bzImage
arch/x86/boot/bzImage: Linux kernel x86 boot executable bzImage, version 4.7.2 (root@tux) #1 SMP Mon Sep 5 20:29:51 IRKT 2016, RO-rootFS, swap_dev 0x7, Normal VGA

ЧЯДНТ?