altos/stm32f1: For some reason the DBG registers aren't always available