Re: [coreboot] TXE and Descriptor bin management in Coreboot