trivial: Style changed files

libplatsupport: Add MAX_GPIO_ID #define

This #define macro keeps track of the value of the largest GPIO pin ID.
This is used in the GPIOMUXServer in global-components to allocate a
table to keep track of the state of GPIO pins.

pragma once and for all

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file

fix licenses

Remove trailing whitespace