Does DDR4 automatically clock down to the least common denominator? I just got an old cheap HP 1 liter PC which has an i5-6500T (ARK says max 2133MHz), but all of the cheapest DDR4 available these days is 3200MHz. Will that Just Work if the BIOS doesn't have fancy memory overclocking options?