With the above entries the networking comes up fine. Obviously it would be better if explicit configuration wasn't required and instead it just worked from DHCP. DHCP must be working to some extent because the Tinycore instance is getting an IP address.

Can anyone suggest why it might be necessary to add the above lines to make the network come up?