init_falcon: Try to fix boost

Change-Id: I244425e69213767e4669af6aeb491fa78a48f8e6