Replace GCC-specific __builtin_ppc_mftb() with clock_gettime(2), and apply it for all !x86 archs. OK solene@ (maintainer)
