Symbol: is_cr4_pae