Overclocking
As described in the Introduction, this board did no better than any of the previous boards with the original Pentium I received, so I bought another G3258.
The new one overclocked to 4.2GHz with ease, using the auto-selected 1.28V.
Limited by the Pentium, the RAM can only be set to DDR3-1400.