Hi rene_bos, and welcome to the VMware Communities!
I have some experience with EFI... I'm one of the VMware developers who works on making the virtual EFI firmware. 
I'd like to take a look at the vmware.log for that VM, and also the VM's ".nvram" file. Could you look inside the VM's directory and grab the latest vmware.log and the NVRAM file, and attach them both to your reply here? (Just use the Browse... button below to attach the two files, please!)
I'd also be interested to know if you're really using the Driver Options, and, if so, what you're using them for. Normally there are no Driver Options and they will only be present if you have manually add them, and we don't anticipate there being many users wanting to do that in a virtual machine except possibly if you're using PCI passthrough or some 3rd-party EFI software.
Cheers,
--
Darius