부트로드 공부를 하고 있는중....

ezboot 압축파일을 풀어서
arch_s3c2440폴더 내부 start 폴더 내부 start.S 파일내부를 보면

 //-------------------------------------------
// 32 bit address mode
// 2004년 04월 01일 추가
//---------------------------------------------

mov   r0, #0x30

mcr   p15, 0, r0, c1, c0


이렇게 되어있었습니다.

그런데, CP15 register map 을 보면

C1(Control Register) 비트 테이블을 보면 6:3 까지 비트위치는 Reserved 로 되어있는데,

어떻게 32비트 모드로 변경할수 있는지 이해가 되지않아, 문의 드립니다.

자세히 알려 주시면 정말 감사하겠습니다.