It's easy to support PXE network boot in EFI VirtualBox mode. All your need is an iPXE efi boot iso.
