Finally got the LED to light up.  There was a lot of printing every register read & write to compare with the kernel driver.  The mane differences were because this board was being reset by every microcontroller reset, while reloading the kernel module didn't reset its board. After trying many random things, a further problem with the stm32 USB stack was revealed.  The board wasn't taking…