boards/stm32f4discovery: fix typo in comment for section

nothing serious