E407/: generate system_stm32f4xx.c instead of keeping local copy