Re: [coreboot] AMD "pre-PSP" devices