imo - the simplest way is to get geekbench2 and run the tests. if they didn't show you that you own 'Hackintosh' - then efi is fine, otherwise read guidelines one more time