[ARCH_MAX & DISCO_F407VG] add SystemCoreClockUpdate and HAL_Init to mbed_sdk_init

HAL_Init is needed by Arch MAX to setup RTC with internal clock