Note that you could still use coreboot + seabios + gpxe, which works
very well here at sandia.
That said, an "arima HDAMA" is a changing thing. I suppose they might
have added a write enable GPIO at some point. You could use the note I
sent to this list recently about how to probe the GPIOs for a write