platsupport: Don't require plat/gpio.h on all plat The Arm interface for gpio_sys_t doesn't require any platform definitions and so we don't need to include a platform header file.
Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file
fix licenses
Remove trailing whitespace