https://superuser.com/questions/561079/how-is-pae-implemented-in-linux

자세하게 설명은 안 되어 있지만, PAE에서 64비트 엔트리를 처리하는 방법을 아주아주 개략적으로 설명함.