[U-Boot] [PATCH 3/3] avr32: Add simple paging support