extra/boost: add patch