Follow-up from "Add support for "platform" parameter in Makefile-common.mk"

The following discussion from !120 (merged) should be addressed:

• @clemenci started a discussion:

  Copying from a template to an actual makefile, I forgot to convert the $$ in $, so this code is not really working.