커널 시작 주소 지정은 어떻게 해야할까요?

pinebud의 이미지

커널 JTAG debugger를 설치하여 사용해보려고 합니다.
문제는 심볼 파일에서는 커널 시작 주소가 C1000000와 같이 나옵니다만
실제 JTAG을 붙여보면 커널 주소가 C0000000으로 나옵니다.
이 주소를 일치시킬 방법이 없을까요?
툴을 잘 사용 못해서 오프셋을 조정할 방법을 잘 모르겠습니다.