Gets most of the way there, though I'm confused as to the wording on the BSC. "Fully libre OpenBMC _secondary_ firmware". Still slightly worried as to the meaning of Secondary firmware; almost makes me think the BSC has non-libre _primary_ firmware on there too.