pkgsi686Linux: Use 32b kernels (x86_64 kernels can't be built with 32b gcc).