amd64 initializecpu(): use 64bit type for rcr4() result

Right now %cr4 defined bits fit into the low word, but this is not true
with FRED.

Sponsored by: The FreeBSD Foundation
MFC after: 1 week