site avr32: add gmutex size