First boot

That's last step ! Easiest one . We just need to tether boot second OS with files created in previous step.
First put your device to pwnedDFU and remove signature checks to load unsigned images.
After you put your device to pwnedDFU we need to send our iBSS and iBEC.

irecovery_new -f ibss.img4


irecovery_new -f ibec.img4



Now we need to open irecovery shell using older version of irecovery.

irecovery_old -s


Now we will send and load devicetree.

/send devicetree.img4


And to load it we need to just type "devicetree".

devicetree


After sending devicetree we need to send kernel.

/send kernel.img4


And to boot device we need to type "bootx" and click Enter. Now device should boot to second OS.

bootx



Device should boot without problems to second OS if you followed Guide exactly.



You can see that 5 GB that were useless added now to our data partition.
Dual-booting 64-bit devices with HFS Filesystem