I have a Gateway 5300 laptop with an integrated Xircom 10/100 NIC; what ethernet driver do I use for it during a stock Potato install? Thanks! Kent