Symbol: STM32MP1_RESET_ID_MASK