Fix crremote; new port

Change-Id: I276accd21eb7fe4b3602f2d9591418d7b02bc17d
core: support make 4.00

Make 4.00 is now out, and builds work fine with it.

Conflicts:

	core/main.mk

Change-Id: I99eb3ee02eacf8b8a855cc2388fde46dc3104963
build: remove extraneous endif

Leftover from the make 4.0 commit earlier today.

Change-Id: I2feb65dab4ae38f69516d8548bb3b5937044a7f1
Merge remote-tracking branch 'upstream/kk' into fjcarbon