"Ported" efi/i_system.c