I8K: allow i8k driver to be built on x86_64 systems