Made the example finally work.
Had to include a bit more STM lib than  wanted (cleanup will be needed)
removed tinfl, which wont be used (at least there)
had to change linker script to make it work (SDIO_ENABLE seem to crash when called with standard bitbox linker ??)