[coreboot] Re : Re: AMD PSP