TimerDomain request of AnyGeneralPurpose32bit may return a timer that is not actually 32 bit and that may already be in use

[FoniksFox]

Requested AnyGeneralPurpose32bit and got timer 15 (not 32 bit), even though I was already using timer 15 elsewhere in my code...