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