puts("Booting kernel..\n");
- sprintf(boot_addr_start, "0x%lx", CONFIG_FASTBOOT_BUF_ADDR);
+ sprintf(boot_addr_start, "0x%lx", (long)CONFIG_FASTBOOT_BUF_ADDR);
do_bootm(NULL, 0, 2, bootm_args);
/* This only happens if image is somehow faulty so we start over */