bump smaccmpilot
makefiles: recursive make into smaccmpilot-stm32f4 builds aadl as well