core: support make 4.00

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

Change-Id: I49e36d651a7997a52270badb0e8badd975f64e8f

Conflicts:
	core/main.mk

Signed-off-by: DHOMD <DHO@dho.im>