intelmic-mkoffload: Deal with linker defaulting to 32-bit x86 mode.