core: support make 4.00

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

Conflicts:

	core/main.mk

Change-Id: I99eb3ee02eacf8b8a855cc2388fde46dc3104963