My hardware profiles are messed up. When I boot I see a choice of 2 profiles: Standard and Undocked no NIC. When I go to the Hardware Profiles...
Separate names with a comma.