[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