* gas/config/tc-arm.c (aeabi_set_public_attributes): Correct