Да, слова "король" и "Карл" являются однокоренными, так как происходят от одного исторического корня. "Карл" является старинным вариантом имени, которое в дальнейшем стало основой для образования слова "король".