Hello everyone,I wanted to ask if this is an error or if this is documented right:When you take a look in the latest RM0444 Rev 5 reference manual on page 1373 there are the DBG registers explained. The "DBG device ID code register (DBG_IDCODE)"  for...