Correctly report x86