x86: string_32.h: workaround for broken gcc 4.0