[coreboot] [Fwd: Re: arima hdama problem]