Raspberry Pi port, piCore-15.0 is available!
The tc-install script would need to me modified to work with corepure64, but what you can do is use it to install 32-bit core and then copy the corepure64 files over and create a suitable additional menu entry.
Loop mount the iso and copy the files.