Enable GPE IPC Timers

RTC:192880

Change-Id: Ie71c144d08fa142adc6ef918e2d8cfd1964956e8
Reviewed-on: http://ralgit01.raleigh.ibm.com/gerrit1/58941
Reviewed-by: Martha Broyles <mbroyles@us.ibm.com>
Tested-by: FSP CI Jenkins <fsp-CI-jenkins+hostboot@us.ibm.com>
Reviewed-by: Christopher J. Cain <cjcain@us.ibm.com>
Reviewed-by: Andres A. Lugo-Reyes <aalugore@us.ibm.com>
Reviewed-by: William A. Bryan <wilbryan@us.ibm.com>

src/common/global_app_cfg.h

@@ -5,7 +5,7 @@
 /*                                                                        */
 /* OpenPOWER OnChipController Project                                     */
 /*                                                                        */
-/* Contributors Listed Below - COPYRIGHT 2015,2017                        */
+/* Contributors Listed Below - COPYRIGHT 2015,2018                        */
 /* [+] International Business Machines Corp.                              */
 /*                                                                        */
 /*                                                                        */
@@ -42,6 +42,9 @@
 #define PK_THREAD_MACHINE_CONTEXT_DEFAULT (MSR_SEM | MSR_UIE | MSR_EE | MSR_ME)
 #define PPE42_MSR_INITIAL (MSR_SEM | MSR_ME)
 
+// Enable GPE IPC Timers
+#define GPE_IPC_TIMERS
+
 // If we are using the OCB timebase then assume
 // a frequency of 37.5Mhz.  Otherwise, the default is to use
 // the decrementer as a timebase and assume a frequency of