add instructions to debug EFM32 with ST-LINK/V2 over Openocd and gdb