hw/arm/mps2-tz: Correct the OSCCLK settings for mps2-an505 and mps2-an511