stmf32f4: soc: fix buildman compilation error