Anyone knew whether the stock driver database of x64 version of XP professional has a driver for this old 10Mbps 10Base2 network card?