x86: Use correct type for %cr4