efi_set_virtual_address_map(): system table not updated
According to the EFI specification the fields FirmwareVendor, RuntimeServices, and ConfigurationTable of the system table must be updated.
According to the EFI specification the fields FirmwareVendor, RuntimeServices, and ConfigurationTable of the system table must be updated.