[ARCH_MAX & DISCO_F407VG] add SystemCoreClockUpdate and HAL_InitTick to
mbed_sdk_init

HAL_InitTick is needed by Arch MAX RTC which using internal clock