each separately and explicitly. BOOT_ELF is now BOOT_ELF32 and BOOT_ELF64, and ELFSIZE should no longer be defined in loadfile_machdep.h.