Re: [coreboot] (libre) Add-on cards for getting higher SSD throughput on the KGPE-D16?

I concur with what tim said and I too recommend getting the much faster 
TALOS 2 - the current board/cpu combo price is quite reasonable (only $2.5K)

You might also be interested in this.
http://www.openssd-project.org/wiki/The_OpenSSD_Project