When sharing Ethernet to the board, some issues have been experienced with the board not being given correct DNS information. This means that while the board is on the internet (and can ping servers via an IP address), it cannot resolve the hostnames associated with the IP addresses.
To solve this, change your DNS configuration settings to point the board to Google's DNS servers:
????