Basic EFI with Opencore for Intel Haswell Processors (4th Gen) - View it on GitHub