[coreboot] Re: How does coreboot support AMD X3421 (Carrizo)?