From: Íñigo Huguet on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2339#note_1297...
But if we maintain the default value assignment of DIST in Makefile.variable,
there is no way to know if a value different by default has been defined by
the user in the file.