[PATCH 5/8] efi_loader: provide definition for efi_add_known_memory()