Bug 351873 Newer gcc doesn't allow __builtin_tabortdc[i] in ppc32 mode.