efi_loader: correct efi_add_known_memory()