document how to work with SWD with WFI_IDLE enabled