[coreboot] an AMD based platform