Transition from debug_havereset to debug_halted not possible

Created by: silabs-oysteink

The debug state fsm currently does not allow the transition from debug_havereset to debug_halted (see image).

The controller needs an update to ensure the transition will be possible. If debug_req_i is asserted early, the core will set debug_havereset -> debug_running -> debug_halted. Possible solution is to check for debug entry in the state BOOT_SET, and se debug_mode_n accordingly.