Re: [U-Boot] [PATCH 1/3] Add support for the virtex4fx12 minimodul