check for non-amd64/i386 kernels