Is see the STM32HXX listed as one of the supported ports but I do not see it listed in the portable folder. Am I missing something?