Semplicemente funzionerà a 533 MHz, come se fosse una PC4200.