Support building with GNU make 4.0

* It works just fine, no need for the warning.

Change-Id: Ifa2ab17454edfcd8b7840a7534f70576286f2864

Conflicts:

	core/main.mk