INITRD_BASE
Elf64_Ehdr *elf64 = (Elf64_Ehdr *)INITRD_BASE;
bzero((void *)INITRD_BASE, sizeof(Elf64_Ehdr));
bcopy((void *)(INITRD_BASE + rdoffs), buf, size);