Then I stand corrected. Seems I've had the misfortune of buying only the Arm SoCs/boards where OpenBSD so far cannot control the CPU frequency.