boost: fix hardcoded hash

boost-headers has the hash of 1.54 or so hardcoded, which breaks now that we use 1.55.

Just use the src from boost itself instead...