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