Same comments on gpio.h include and mismatched clock commentary.

Also, it looks like there is mixed whitespace/tabs or something here.  Please try and format it all by linux style guide, as referenced in <libopencm3>/HACKING