Re: [U-Boot] at91rm9200dk broken/patches?