x86/init: Fix cr4_init_shadow() on CR4-less machines