avr32: Add simple SRAM allocator