On i386, kernel build fails, with msg: -- /usr/src/sys/compat/ia32/ia32_genassym.c:1: error: code model 'kernel' not supported in the 32 bit mode -- Domagoj Smolčić