Minor changes to make Ethernet board pilot work