virtual release for the tutorial during WNS3 2015

lib: fix atomic64_cmpxchg issue on 32bits environment

it caused the undefined symbol of wrong_size_cmpxchg() during a runtime.

Signed-off-by: Hajime Tazaki <tazaki@sfc.wide.ad.jp>