pub fn ddr_capacity() -> Fact<f64>
The DDR4 behind the processing system, as the board guide states it.