[coreboot] AMD "pre-PSP" devices