Fixup for: tool_chain: update GCC to version 4.7.4

Issue #1051
okl4: declare read-write-lock as volatile

Issue #1051