Use __builtin_bswap32 for GCC >= 4.2