x86inc: Check for __OUTPUT_FORMAT__ having a value of "x64"