hw/arm/mps2-tz: Make SYSCLK frequency board-specific