x86/startup_64: Simplify CR4 handling in startup code