ivory-bsp-stm32f4: fixes for ivory addrOf changes