build: support aadl platform, disabled from build by default
ivory-bsp-stm32f4: led tower compiler tests new platform polymorphism in tower