Symbol: efi_append_variable