tcl/target/stm32f4x: add F401 and F411 IDs