This module isn't supposed to be used in normal UEFI imulation.

It dumps calls to EFI cores from EFI guests helping in investigation

of EFI guests behaviour and expectations.