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