<cpus>
  <model name='POWERPC_e6500'>
    <vendor name='Freescale'/>
      <pvr value='0x80400000' mask='0xffff0000'/>
  </model>
</cpus>
