[coreboot] AMD Richland support?