[U-Boot-Users] [PATCH 5/5] AVR32: Make SDRAM refresh rate configurable