Why would the ISA matter to the government? I could see this being about Intel's physical manufacturing capabilities, but the ISA should be pretty irrelevant. Recompile what code you can, run the rest via qemu-user-static.