avr32: Fix bug in early resource allocation code