Do you have a link to openCore? There's a rather unfortunate name collision with a Hackintosh bootloader that's preventing me from finding any info on it no matter which search engine I use.