[coreboot] AMD technical contact?