Make does not take into consideration changes to the Configuration.mk file.

[andersondomingues]

Recompiling the platform after changing one or another parameter in Configuration.mk file requires manual cleaning since Configuration.mk is not a compilation requirement for any file.

Possible solution:

#recipie for .h file taking mk as a requirement.
*.h : Configuration.mk