[coreboot] Re: FSP debug binaries