ARM: includecheck fix: plat-stmp3xxx/pinmux.c