stm32f7x: Use CHIPNAME-specific name for ITCM bank