Make the kern config.mk use $(CPP)