The libgcc provides the required support to calling the kernel auxiliary routines for !__GCC_HAVE_SYNC_COMPARE_AND_SWAP_4. Reviewed-by: Wilco Dijkstra <Wilco.Dijkstra@arm.com>