Add mention of ARM atomic builtin support