Transition to boost 1.54 for win 32-bit

Now we're building both x64 and x86 on windows with GCC 4.8.2, we can
use boost 1.54 for both