Added support to wakeup higher priority tasks when unlocking mutexes … #417

Job	Run time
Build each header individually	52s
build (max32625)	19s
build (lpc1759)	15s
build (lpc1756)	17s
build (atsam4s2b)	19s
build (atsam3x8e)	16s
build (max32660)	13s
build (lpc1752)	19s
build (lpc55s66)	20s
build (lpc1754)	13s
build (mb9bf566k)	20s
build (lpc1788)	20s
build (lpc802)	12s
build (stm32h723)	14s
build (rp2350)	18s
build (stm32f407)	15s
build (stm32f103)	16s
build (tmpm373)	17s
	5m 35s

Provide feedback