SDBOOT_SCRATCHADDR
mag = *(uint16_t *)SDBOOT_SCRATCHADDR;
return load_elf((uint8_t *)SDBOOT_SCRATCHADDR, entry);
return load_coff((uint8_t *)SDBOOT_SCRATCHADDR, entry);
(void *)SDBOOT_SCRATCHADDR);
(void *)SDBOOT_SCRATCHADDR) != 0)