Setting IRSND PIN to PB8 for STM32F4xx and resetting timer to default rate and reenabling it