Check that target_cpu is x64

Change-Id: I1def4f3303b5c080aa1515d7d1edb50f87cb2a65
1 file changed