And load the boot tgz and FDT separately from the SD card. Hopefully U-Boot will now report available RAM size.