Re: setting USE_ELF_BOOT