EMW3165 port

Gordon, I need a bit of help with the STM32F4 start-up. I'm trying to get the NucleoF411 version of Espruino to work on the emw3165 since it's the same CPU chip I figured that it should work... But it's not. Where it seems to die is in the clock config at targetlibs/stm32f4/lib/system_stm32f4xx.c line 559:

557     /* Select the main PLL as system clock source */
558     RCC->CFGR &= (uint32_t)((uint32_t)~(RCC_CFGR_SW));
559     RCC->CFGR |= RCC_CFGR_SW_PLL;

Do you have any suggestion? The WICED emw3165 config has the following defines:

 # define HSE_SOURCE              ( RCC_HSE_ON )
 # define AHB_CLOCK_DIVIDER       ( RCC_SYSCLK_Div1 )
 # define APB1_CLOCK_DIVIDER      ( RCC_HCLK_Div2 )
 # define APB2_CLOCK_DIVIDER      ( RCC_HCLK_Div1 )
 # define PLL_SOURCE              ( RCC_PLLSource_HSE )
 # define PLL_M_CONSTANT          ( 26 )
 # define PLL_N_CONSTANT          ( 200 )
 # define PLL_P_CONSTANT          ( 2 )
 # define PPL_Q_CONSTANT          ( 4 )
 # define SYSTEM_CLOCK_SOURCE     ( RCC_SYSCLKSource_PLLCLK )
 # define SYSTICK_CLOCK_SOURCE    ( SysTick_CLKSource_HCLK )