As you maybe know, when you install a Linux distro in UEFI mode on a Intel Z77 board as the only OS, you can't boot it because it does not appear in the Boot Menu (F10). The problem is that the Linux distro is sucessfully added to NVMRAM at install but the Boot Menu is not reading the entries in NVRAM.
The solution is to trick the firmware that Windows 7 efi boot manager is on the HDD.
So, do this:
At the shell prompt type:
cp FS0:\EFI\BOOT\bootx64.efi FS1:\EFI\Microsoft\Boot\bootmgfw.efi
Reboot and your Linux distro will show up in the boot menu.
I found a "bug". In Arch Linux (Probably other distros too) when you press Shutdown, the PC will Power Off and then Power On again.
Solution: In VisualBIOS disable "Wake on Lan from S4/S5" in Power Options.
Shutdown works normally now