cr4_set_bits_and_update_boot
cr4_set_bits_and_update_boot(X86_CR4_PSE);
cr4_set_bits_and_update_boot(X86_CR4_PGE);