AVR32: Spinlock initializer cleanup