avr32: Clean up and optimize the TLB operations