Re: [coreboot] The name is wrong in news about AMD Pistachio support in coreboot page: