>Русское Король проще вывести от польского Кароля (в смысле имя).
Не, по польски ведь "круль" или "кроль" (инверсия ар/ро). Полногласие восточнославянское превратило в король.
Насчет каролингов - пороюсь, найду откуда исследователи Слова берут основания для отождествления с харалугом (именно таково исходное слово, в СПИ есть фраза: "в харалузе").
Т.е. никак к Каролю не сводится.
Насчет "каролингов" - использовалось во времена СПИ в европах "charoling" и вариации от него - я это у К. Менгеса ("Восточные элементы в СПИ") прочитал. Кстати там есть любопытное наблюдение, что находки мечей 10-12 вв. на Руси чаще всего каролингские, с соответствующим клеймом. А у Даниила Заточника отмечено множественное "королязи" (ед.ч. тогда - "короляг") как синоним франков.