В любом случае, Гарри произошло как форма от Генри(х), и стало употребляться как самостоятельное имя совсем недавно.
Лично мне "Генри Поттер" в тексте сделает даже приятно.