It's OK to specify it, but make it configurable with an easyconfig parameter like `build_target` or somesuch. Default can be `X86`, makes a lot of sense since that's the most common anyway.