Kumquat : Update full_kumquat.mk