Update Makefile

Add target to build MAX32 kernel with Ethernet Shield support