[PATCH 0/9] Support for 4 GB DDR modules for 32-bit U-Boot builds