Hi, I've been able to fix the problem. I made a mistake in Linux boot code (ppc/boot/simple/embed_config.c) when computing the amount of available RAM, which resulted in Linux thinking it could access -16MB = 4080MB of RAM. Laurent Pinchart