[coreboot] get_fx_devs