Fix typo for AIX in v8config.h