[coreboot] RAM speed problem on Supermicro H8QGI (Family 15h)