bsps/arm: Include missing header file
bsps/arm: Use Global Timer for Cortex-A9 MPCore

Use the Global Timer for the Cortex-A9 MPCore clock driver instead of
the Private Timer.  This enables a consistent nanoseconds since last
context switch value across all processors.