New boost 1.54.0 for arm with the timer lib