Symbol: cr4_set_bits_and_update_boot