This configures and enables the PL390 GIC. The configuration is static at present and needs to be changed to work with device trees.