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