Guard _NO_CBMC_ATOMIC_ by _CBMC_ macro

These changes allow us to compile the Ethernet MAC benchmark with gcc.