Re: [coreboot] get_fx_devs