코덱스쟝한테 물어보니깐 부팅 과정중에 분명 64m 버퍼 잘 할당되는데 os 부팅 완료되기 전에 재할당 걸리면서 버퍼 할당을 못해줘서 드라이버 로드가 안된다는데 뭘 의심해봐야 할지도 모르겠어요 제가 뭘 해볼 수 있을까요?