(cd "${HOME}/livecdtmp/extract-cd" && \
    sudo dd if=/dev/zero of=efiboot.img bs=1M count=20 && \
    sudo mkfs.vfat efiboot.img && \
    sudo mmd -i efiboot.img ::/EFI ::/EFI/BOOT && \
    sudo mcopy -i efiboot.img \
        "${HOME}/livecdtmp/extract-cd/EFI/boot/bootia32.efi" \
        "${HOME}/livecdtmp/extract-cd/EFI/boot/bootx64.efi" \
        "${HOME}/livecdtmp/extract-cd/EFI/boot/grubx64.efi" \
        "${HOME}/livecdtmp/extract-cd/boot/grub/grub.cfg" \
        ::/EFI/BOOT
)