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
Fix typo in comment: noone -> no one.
Fix minor style(9) nits.
Simplify comment to remove multiple negative and passive voice.