Revert "tower-freertos-stm32-tests: fix makefile."
Revert "tower-freertos-stm32-tests: fix makefile."

This reverts commit f9e2d524201853bb0ae7058fa6f77aa3aac5335c.

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32