Symbol: efi_adjust_memory_range_protection