ARMGenericInterruptControllerArchitectureSpecification