K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2014-07-23T15:53:29.283409Z
K 7
svn:log
V 189
don't set CR4 PSE bit on amd64

Setting PSE together with PAE or in long mode just makes the PSE bit
completely ignored, so don't set it.

Sponsored by: Citrix Systems R&D
Reviewed by: kib

END