avr32: Use a quicklist for PTE allocation as well