GoodFET is booting on STM32.