include/VBox: Add header containing definitions for the ARM Generic Interrupt Controller Architecture v3 (GIC), bugref:10404