Symbol: efi64_zero_upper