/* Basic board specific setup. Pinmux has been handled already.  */
int board_init(void)
/* Basic board specific setup. Pinmux has been handled already.  */
int board_init(void)
{
	gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE + 0x100;
	return 0;
}