[F16] Why PAE kernel with 1 GB RAM?