I just found the memory performance on KGPE-D16 is lower when running with coreboot. I have two Opteron 6276 and 8 16GB DDR3-1600 RDIMM on all orange slots. I tested it with `hdparm -tT /dev/sda` and see the `Timing cached reads` result. With coreboot, this value is around 3000 MB/s, but with OEM firmware it can go to around 3600 MB/s. I think the disk cached read speed is related to memory performance.