Thus, I am now trying to understand why a large amount of memory, i.e., 128MB instead of a mere 64MB, can prevent elfboot to succeed, even though the memory is undisputably well initialised.
Hmm, I still have a feeling your memory is not initializing correctly. Have you tried ram_check() (from auto.c) on various chucks of memory? I would try..
ram_check(0, 640 * 1024); //first 64k (begining of first side) ram_check(64512 * 1024, 65536 * 1024); //63 - 64MB (end of first side) ram_check(65536 * 1024, 66560 * 1024); //64 - 65MB (begining of second side) ram_check(130048 * 1024, 131072 * 1024); //127 - 128MB (end of second side)
You may have to do these seperatly, with each build. Post back the results. Hope that helps.