The end of SDRAM is at 0x9fffffff, not at 0x8fffffff. This fixes starting barebox when it is located in the second SDRAM bank. Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>