efi-windows.c implementation