Re: [coreboot] [PATCH] fix arima/hdama mptable.c