все правильно говорите. Указатель на массив - это физически адрес начала массива. Вот поэтому в Вашем примере два раза производится разыменование указателя. Посмотрите что Вам генерит компилятор, какой ассемблерный код. (-)
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)