Atmel, Wavesat collaborate on WiMax PCI