First of all, thank you Mahesh for your excellent guide. Everything went smoothly when I tried installing OS X from the iAtkos L2 distribution.
A few notes which may provide further assistance (my Dell L702x specs: i7 2670, 8GB RAM, nVidia GT 555m, non-3d, anti-glare 1920x1080 display, A12 BIOS):
1. Without any further setup, the display was blueish and had low brightness, but the brightness falls back to normal after the display goes to sleep. OS X has the Ctrl-Shift-Eject keyboard shortcut that puts the display to sleep. Since the Dell keyboard does not have an Eject key, I used keyremap4macbook ( http://pqrs.org/maco...yremap4macbook/ ) in order to remap it, so that I can press the combination as soon as I log in. As for the blueish display, the best solution (apart from manual calibration) was the Spyder2express.icm profile posted at http://forum.noteboo...en-matte-3.html .
2. Since the integrated Intel Wireless card does not work, I purchased a Belkin N300 USB wireless card, which functions great with the driver from http://www.osx86.net...f7d2101_v1.html - it includes its own utility for wireless network discovery.
3. Never use the Migration Assistant to transfer data from another Hackintosh - the result was that the other Hackintosh needed the bootloader re-installed (which was a bit of a pain, since I had naively installed OS X on a disk with a GUID partition table).
The one issue that I still have and was not able to solve concerns the external display ports. As I understand, the HDMI port is tied to the nVidia card, so that is out of the question. However, I was not able to use the Mini-display port either (with either a mini-display to VGA or a mini-display to DVI adaptor). Did anyone have better luck with this and could possibly guide me on how to enable the mini-display port? In case it helps, the system report tool reports two video cards (I have removed the nVidia kexts):
PCIe Lane Width:x16
Kernel Extension Info:No Kext Loaded
Intel HD Graphics 3000:
Chipset Model:Intel HD Graphics 3000
VRAM (Total):512 MB
Resolution:1920 x 1080 @ 60 Hz
Pixel Depth:32-Bit Color (ARGB8888)
Any help with the external display setup would be greatly appreciated.