Linux kernel driver for the Avastar 88W8764 in the SMILEplug