Does someone know if there are NIC drivers for the HP G6 series (NC532i) and/or the HP G7 series (NC553i)? Thank you.