ppc: fix a segfault in Diet mode
x86: clean up X86ATTInstPrinter.c