Playing around with Virtualboxes UEFI and an Debian iso image 03 HD
Used Software: VirtualBox Version 4.3.18_Debian (plus vnc and oracle extension pack) ISO-Images: debian-7.7.0-amd64-netinst.iso md5sum 0b31bccccb048d20b551f70830bb7ad0 and mini.iso md5sum e80ceb12a5d54991624aa91694ac7cdc (once downloaded somewhere from http://ftp.debian.org/debian/dists/wheezy/main/installer-amd64/current/images/ ) Maybe you could make a video of an physical uefi shell??