redo start address of firmware so it can be specified -DBOOT_INIT_BASE