Re: [Boost-users] [posix_time] ARM clock scaling issue